
//  Copyright (C) 2007 Richard Uhler

//?d:The string value of a big integer
//?e:1234567897531

print(String(1234567897531));

